Matthew Flatt

Results: 116



#Item
71

Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2004-04-03 19:39:33
    72

    R6RS Status Report Kent Dybvig, Will Clinger, Matthew Flatt, Mike Sperber, and Anton van Straaten June 21, Overview

    Add to Reading List

    Source URL: www.schemers.org

    Language: English - Date: 2006-06-21 19:38:30
      73

      From Structures and Functors to Modules and Units Scott Owens Matthew Flatt University of Utah

      Add to Reading List

      Source URL: www.cs.utah.edu

      Language: English - Date: 2006-06-28 13:09:36
        74

        Jiazzi: New-Age Components for Old-Fashioned Java Sean McDirmid, Matthew Flatt, Wilson C. Hsieh School of Computing University of Utah fmcdirmid,mflatt,

        Add to Reading List

        Source URL: www.cs.utah.edu

        Language: English - Date: 2003-03-18 02:42:18
          75Functional languages / Transformation languages / Procedural programming languages / Cross-platform software / Data types / Hygienic macro / Racket / Scheme / Type system / Computing / Software engineering / Computer programming

          Advanced Macrology and the Implementation of Typed Scheme Ryan Culpepper Sam Tobin-Hochstadt Matthew Flatt

          Add to Reading List

          Source URL: www.schemeworkshop.org

          Language: English - Date: 2011-08-12 16:48:26
          76Functional languages / Scheme / Scheme programming language / Racket / Lisp programming language / Hygienic macro / Lisp / Continuation / Matthew Flatt / Software engineering / Programming language theory / Computing

          The Revised R6RS Status Report Marc Feeley ´ Universite´ de Montreal

          Add to Reading List

          Source URL: www.schemers.org

          Language: English - Date: 2004-10-20 19:21:36
          77Functional languages / Lisp programming language / String / Racket / Technical communication / Scheme / Here document / Literate programming / Eval / Computing / Software engineering / Computer programming

          Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

          Add to Reading List

          Source URL: www.ccs.neu.edu

          Language: English - Date: 2015-05-11 21:04:51
          78Color space / BBC / Digital television / Internet television / YouView / Canvas element / Mixin / Canvas / Snips / Software engineering / Visual arts / Computing

          Framework: PLT GUI Application Framework VersionRobert Bruce Findler and Matthew Flatt April 2, 2010

          Add to Reading List

          Source URL: download.plt-scheme.org

          Language: English - Date: 2010-04-02 17:30:16
          79Cross-platform software / Java programming language / Integrated development environments / Method / Object-oriented programming / BlueJ / Java / DrRacket / Racket / Computing / Software / Computer programming

          ProfessorJ : A Gradual Introduction to Java through Language Levels Kathryn E. Gray Matthew Flatt University of Utah

          Add to Reading List

          Source URL: www.cs.utah.edu

          Language: English - Date: 2003-11-20 15:24:07
          80Digital photography / Bitmap / Shape / Pixel / Geometry / Computing / Computer graphics / Graphics file formats / Image processing

          The Design of a Functional Image Library Ian Barland Robert Bruce Findler Matthew Flatt

          Add to Reading List

          Source URL: www.eecs.northwestern.edu

          Language: English - Date: 2010-08-02 19:39:11
          UPDATE